Discover gists

## programming-as-theory-building.md

      
              1 file
            
          
              44 forks
            
          
                3 comments
              
            
              391 stars
            
          
                onlurking
                / programming-as-theory-building.md
            
            
              Last active
              March 7, 2026 01:02
            
              
                Programming as Theory Building - Peter Naur
              
          
    Programming as Theory Building

Peter Naur


Peter Naur's classic 1985 essay "Programming as Theory Building" argues that
a program is not its source code. A program is a shared mental
construct (he uses the word theory) that lives in the minds of the people who
work on it. If you lose the people, you lose the program. The code is merely a
written representation of the program, and it's lossy, so you can't reconstruct


## gen8.md

      
              1 file
            
          
              1 fork
            
          
                2 comments
              
            
              7 stars
            
          
                wille-io
                / gen8.md
            
            
              Created
              May 15, 2025 20:53
            
              
                Booting the HP ProLiant MicroServer Gen8
              
          
    The Gen8 is a weird little box

It has no UEFI which is weird since UEFI was already pretty standard at the time the Gen8 was designed. Plus it is very picky with booting from USB. First it doesn't want to boot from the blue USB 3.0 ports. Second it only boots from USB devices formatted with MBR and where its first partition is FAT32 formatted with sector sizes not bigger than 16kb (Source: a 'reputable source' in the HP Community).
But now comes the worst characteristic about the Gen8. You can't change the boot order of the SATA devices. So if you use the ODD power cable (with an ODD to SATA adapter of course) and the "SATA ODD" port, you have a journey to go as the boot order is as follows: The leftmost drive, followed by the next 3 drives - and finally the device connected tot eh SATA ODD port. There's also a "CDROM Drive" boot order item in the boot order menu - but it doesn't boot the SATA ODD port, only if there's a real CDROM drive.
So what are the options?

The Gen8 has an internal USB port and

  
## jetbra.in
1. install ipfs desktop: https://github.com/ipfs/ipfs-desktop/releases
2. open ipfs-desktop and visit http://localhost:8080/ipns/3.jetbra.in in browser
  2.1 or http://localhost:8080/ipfs/bafybeih65no5dklpqfe346wyeiak6wzemv5d7z2ya7nssdgwdz4xrmdu6i

1. use shadon search for 'Location: https://account.jetbrains.com/fls-auth' to find a active server

## Garry's plan-exit-review skill
---
name: plan-exit-review
version: 2.0.0
description: |
  Review a plan thoroughly before implementation. Challenges scope, reviews
  architecture/code quality/tests/performance, and walks through issues
  interactively with opinionated recommendations.
allowed-tools:
  - Read
  - Grep

## debloatNox.md

      
              1 file
            
          
              0 forks
            
          
                0 comments
              
            
              1 star
            
          
                freshstylez
                / debloatNox.md
            
            
              Created
              March 7, 2026 00:49
                — forked from Log1x/debloatNox.md
            
              
                Debloating & Optimizing Nox
              
          
    Debloating Nox

Nox, despite being the most feature-filled Android emulator, has a lot of negativity surrounding it due to their antics when it comes to making income off of their program. It is known for running repeated advertisments in the background, calling home and passing along system information (outside of your Android instance) as well as a vast amount of potentially sensitive data in an encrypted payload back to their multitude of servers. With the following preventitive measures, we can stop a majority of this happening as well as greatly improve the overall performance.


Download and Install a fresh copy of Nox. The latest version is fine (for now). If you already have it installed, that is fine too. No need to reinstall.


Enable Root Mode on Nox by clicking the gear icon and then checking the Root Startup box.


Install a new Launcher from the Play Store. ANYTHING but Nox's default. I suggest [Nova Launcher](https://play.google.com/s


## template-01.html
<!doctype html><html>
<head>
	<!-- Latest compiled and minified CSS -->
	<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css" integrity="sha384-BVYiiSIFeK1dGmJRAkycuHAHRg32OmUcww7on3RYdg4Va+PmSTsz/K68vbdEjh4u" crossorigin="anonymous">

	<!-- Optional theme -->
	<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap-theme.min.css" integrity="sha384-rHyoN1iRsVXV4nD0JutlnGaslCJuC7uwjduW9SVrLvRYooPp2bWYgmgJQIXwl/Sp" crossorigin="anonymous">

	<!-- Latest compiled and minified JavaScript -->
	<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js" integrity="sha384-Tc5IQib027qvyjSMfHjOMaLkfuWVxZxUPnCJA7l2mCWNIpG9mGCD8wGNIcPD7Txa" crossorigin="anonymous"></script>

## build-gsi.sh
#!/bin/bash
# build-gsi.sh - https://gist.github.com/sandorex/031c006cc9f705c3640bad8d5b9d66d2
# other files needed:
#   otatools-mini - https://mega.nz/file/TLgHDD6L#Kwxb04VoJDtXa6XLHxsxbHAIusXc0VHM12dqAbvRWlQ
#   vbmeta.img - https://mega.nz/file/HGoGzC5J#VZUJ6n_GVCaGRzgaO2up0FhFx52swhcO0T6ewlUW5Mk
#
# Copyright 2023 Aleksandar Radivojevic (https://github.com/sandorex)
#
# Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
# associated documentation files (the "Software"), to deal in the Software without restriction,

## build-gsi.sh
#!/bin/bash
# build-gsi.sh - https://gist.github.com/sandorex/031c006cc9f705c3640bad8d5b9d66d2
# other files needed:
#   otatools-mini - https://mega.nz/file/TLgHDD6L#Kwxb04VoJDtXa6XLHxsxbHAIusXc0VHM12dqAbvRWlQ
#   vbmeta.img - https://mega.nz/file/HGoGzC5J#VZUJ6n_GVCaGRzgaO2up0FhFx52swhcO0T6ewlUW5Mk
#
# Copyright 2023 Aleksandar Radivojevic (https://github.com/sandorex)
#
# Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
# associated documentation files (the "Software"), to deal in the Software without restriction,

## claude-code-token-saving-guide.md

      
              1 file
            
          
              13 forks
            
          
                0 comments
              
            
              45 stars
            
          
                artemgetmann
                / claude-code-token-saving-guide.md
            
            
              Last active
              March 7, 2026 00:39
            
              
                Practical workflow for reducing token usage in Claude Code while preserving session continuity. Includes compacting strategies, CLAUDE.md structure, modular context management, and prompt engineering tips.
              
          
    🧠 How to Save Context Tokens When Using Claude Code

This is a personal reference workflow for minimizing token usage while maintaining project continuity across Claude Code (Sonnet 4 with file access).

✅ Setup: Populate CLAUDE.md

Claude loads CLAUDE.md automatically at session start.

  
## ILtdStringLocalizer.cs
using Microsoft.Extensions.Localization;
using System.Globalization;

namespace LTD.Web.AppStart.Localization
{
    public interface ILtdStringLocalizer : IStringLocalizer
    {
        /// <summary>
        /// Gets the string resource with the given name.
        /// </summary>
	1. install ipfs desktop: https://github.com/ipfs/ipfs-desktop/releases
	2. open ipfs-desktop and visit http://localhost:8080/ipns/3.jetbra.in in browser
	2.1 or http://localhost:8080/ipfs/bafybeih65no5dklpqfe346wyeiak6wzemv5d7z2ya7nssdgwdz4xrmdu6i

	1. use shadon search for 'Location: https://account.jetbrains.com/fls-auth' to find a active server
	---
	name: plan-exit-review
	version: 2.0.0
	description: \|
	Review a plan thoroughly before implementation. Challenges scope, reviews
	architecture/code quality/tests/performance, and walks through issues
	interactively with opinionated recommendations.
	allowed-tools:
	- Read
	- Grep
	<!doctype html><html>
	<head>
	<!-- Latest compiled and minified CSS -->
	<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css" integrity="sha384-BVYiiSIFeK1dGmJRAkycuHAHRg32OmUcww7on3RYdg4Va+PmSTsz/K68vbdEjh4u" crossorigin="anonymous">

	<!-- Optional theme -->
	<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap-theme.min.css" integrity="sha384-rHyoN1iRsVXV4nD0JutlnGaslCJuC7uwjduW9SVrLvRYooPp2bWYgmgJQIXwl/Sp" crossorigin="anonymous">

	<!-- Latest compiled and minified JavaScript -->
	<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js" integrity="sha384-Tc5IQib027qvyjSMfHjOMaLkfuWVxZxUPnCJA7l2mCWNIpG9mGCD8wGNIcPD7Txa" crossorigin="anonymous"></script>
	#!/bin/bash
	# build-gsi.sh - https://gist.github.com/sandorex/031c006cc9f705c3640bad8d5b9d66d2
	# other files needed:
	# otatools-mini - https://mega.nz/file/TLgHDD6L#Kwxb04VoJDtXa6XLHxsxbHAIusXc0VHM12dqAbvRWlQ
	# vbmeta.img - https://mega.nz/file/HGoGzC5J#VZUJ6n_GVCaGRzgaO2up0FhFx52swhcO0T6ewlUW5Mk
	#
	# Copyright 2023 Aleksandar Radivojevic (https://github.com/sandorex)
	#
	# Permission is hereby granted, free of charge, to any person obtaining a copy of this software and
	# associated documentation files (the "Software"), to deal in the Software without restriction,
	using Microsoft.Extensions.Localization;
	using System.Globalization;

	namespace LTD.Web.AppStart.Localization
	{
	public interface ILtdStringLocalizer : IStringLocalizer
	{
	/// <summary>
	/// Gets the string resource with the given name.
	/// </summary>